Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
21	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
22	Outline Part I Residuated Lattices Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu Language: English - Date: 2009-01-10 03:41:36 Lattice theory Fuzzy logic Algebraic structures Mathematical logic Order theory Residuated lattice Lattice Monoidal t-norm logic Heyting algebra Abstract algebra Mathematics Logic
23	97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H Add to Reading List Source URL: sites.uclouvain.be Language: English - Date: 2015-01-27 10:24:47 Monoidal categories Homotopy theory Algebraic structures Adjoint functors Monad Hopf algebra Algebraic topology Monoid Crossed module Abstract algebra Algebra Category theory
24	A Survey of Residuated Lattices P. Jipsen and C. Tsinakis Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid ope Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2003-04-01 18:18:05 Algebraic structures Lattice theory Fuzzy logic Algebraic logic Mathematical logic Residuated lattice Heyting algebra Relation algebra Lattice Abstract algebra Mathematics Logic
25	C:/Users/jipsen/Documents/Talks/SoftComputing2003/SoftComputingAbstract20030904.dvi Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2011-03-30 04:04:54 Fuzzy logic Algebraic structures Lattice theory Algebraic logic Mathematical logic Residuated lattice MV-algebra Monoidal t-norm logic Variety Mathematics Abstract algebra Logic
26	Comparison Geometry MSRI Publications Volume 30, 1997 Collapsing with No Proper Extremal Subsets G. PERELMAN Add to Reading List Source URL: library.msri.org Language: English - Date: 1998-06-23 18:39:34 Differential topology Mathematics Differentiable manifold Fiber bundle Diffeomorphism Riemannian manifold Sheaf Differential geometry Linear temporal logic Topology Algebraic topology Abstract algebra
27	COXETER-KNUTH GRAPHS AND A SIGNED LITTLE MAP FOR TYPE B REDUCED WORDS SARA BILLEY, ZACHARY HAMAKER, AUSTIN ROBERTS AND BENJAMIN YOUNG Abstract. We define an analog of David Little’s algorithm for reduced words in type Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-09-15 19:11:10 Symmetric functions Algebraic combinatorics Coxeter group Graph theory Representation theory Young tableau Harold Scott MacDonald Coxeter Littlewood–Richardson rule Modal logic Abstract algebra Mathematics Algebra
28	Univalent Foundation and Constructive Mathematics Thierry Coquand Oberwolfach, November 18, 2014 Univalent Foundation and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-11-22 08:17:10 Algebra Category theory Algebraic structures Higher category theory Groupoid Symmetry Constructivism Category Mathematical logic Abstract algebra Mathematics Homotopy theory
29	Transformation Groups, Vol. 8, No. 4, 2003, pp. 321–332 c Birkh¨ auser Boston (2003) Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:47:05 Algebraic combinatorics Kazhdan–Lusztig polynomial Polynomials Representation theory of Lie algebras Representation theory of Lie groups Representation theory Symbol Dual space Linear temporal logic Abstract algebra Algebra Mathematics
30	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra

UPDATE